2^2^3 vs (2^2)^3